implicit differentiation brian